धन उगाहना 15 सितंबर, 2024 – 1 अक्टूबर, 2024 धन उगाहने के अभियान के बारे में
2
Adapting Proofs-as-Programs : The Curry-Howard Protocol

Adapting Proofs-as-Programs : The Curry-Howard Protocol

साल:
2005
भाषा:
english
फ़ाइल:
PDF, 1.53 MB
0 / 0
english, 2005
3
Software Engineering for Collective Autonomic Systems: The ASCENS Approach

Software Engineering for Collective Autonomic Systems: The ASCENS Approach

साल:
2015
भाषा:
english
फ़ाइल:
PDF, 23.55 MB
0 / 0
english, 2015
11
Adapting Proofs-as-Programs: The Curry Howard Protocol

Adapting Proofs-as-Programs: The Curry Howard Protocol

साल:
2005
भाषा:
english
फ़ाइल:
PDF, 4.59 MB
0 / 0
english, 2005
12
Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

साल:
2010
भाषा:
english
फ़ाइल:
PDF, 5.78 MB
0 / 0
english, 2010
18
LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

साल:
2009
भाषा:
spanish
फ़ाइल:
FB2 , 6.84 MB
0 / 0
spanish, 2009
19
LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

साल:
2009
भाषा:
spanish
फ़ाइल:
MOBI , 15.85 MB
0 / 0
spanish, 2009
21
Java kompakt: Eine Einfuhrung in die Software-Entwicklung mit Java

Java kompakt: Eine Einfuhrung in die Software-Entwicklung mit Java

साल:
2013
भाषा:
german
फ़ाइल:
PDF, 4.84 MB
0 / 0
german, 2013
22
Java kompakt: Eine Einführung in die Software-Entwicklung mit Java

Java kompakt: Eine Einführung in die Software-Entwicklung mit Java

साल:
2013
भाषा:
german
फ़ाइल:
PDF, 2.66 MB
0 / 0
german, 2013
26
Elementare Aussagenlogik

Elementare Aussagenlogik

साल:
1991
भाषा:
german
फ़ाइल:
PDF, 8.30 MB
0 / 0
german, 1991
30
Algebraic Methods: Theory, Tools and Applications

Algebraic Methods: Theory, Tools and Applications

साल:
1989
भाषा:
english
फ़ाइल:
DJVU, 5.38 MB
0 / 0
english, 1989
41
Methods of Programming: Selected Papers on the CIP-Project

Methods of Programming: Selected Papers on the CIP-Project

साल:
1991
भाषा:
english
फ़ाइल:
DJVU, 2.20 MB
0 / 0
english, 1991
50
Elementare Aussagenlogik

Elementare Aussagenlogik

साल:
1991
भाषा:
german
फ़ाइल:
DJVU, 2.34 MB
0 / 0
german, 1991